;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o6, o7, o2, o11, o10, o1, o8, o4, o5, o15, o12, o9, o3, o13, o14]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("o2" 3 5)
;;   ("o5" 0 7)
;;   ("o8" 2 10)
;;   ("u2" 9 12)
;;   ("o2" 11 13)
;;   ("o13" 11 14)
;;   ("o1" 1 15)
;;   ("o9" 14 15)
;;   ("o15" 16 19)
;;   ("u1" 6 21)
;;   ("o10" 0 22)
;;   ("o5" 8 23)
;;   ("o11" 17 26)
;;   ("o2" 24 26)
;;   ("o7" 22 27)
;;   ("u3" 23 27)
;;   ("o6" 4 28)
;;   ("o1" 18 29)
;;   ("o4" 13 30)
;;   ("o12" 22 31)
;;   ("o3" 20 32)
;;   ("o10" 25 33)
;; --------------
;; core
;; --------------------------------
;;  name:o6 start:11 length:46
;;  name:o7 start:43 length:12
;;  name:o2 start:10 length:2
;;  name:o2 start:27 length:3
;;  name:o2 start:46 length:2
;;  name:o11 start:37 length:11
;;  name:o10 start:0 length:43
;;  name:o10 start:47 length:51
;;  name:o1 start:1 length:34
;;  name:o1 start:38 length:26
;;  name:o8 start:9 length:17
;;  name:o4 start:30 length:37
;;  name:o5 start:0 length:20
;;  name:o5 start:23 length:22
;;  name:o15 start:36 length:3
;;  name:o12 start:43 length:45
;;  name:o9 start:34 length:1
;;  name:o3 start:41 length:48
;;  name:o13 start:27 length:7
;;  name:u1 start:17 length:25
;;  name:u2 start:24 length:5
;;  name:u3 start:45 length:10
;; patternLength:98
;; --------------------------------
(0
 (
 ("o2" 4 9)
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 25 33)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o15" 21 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o7" 31 42)
 ("o10" 0 43)
 ("u3" 34 44)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o14" 18 64)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o6" 58 72)
 ("u1" 70 75)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o8" 32 96)
 ("o12" 89 97)
 ("o10" 47 98)
 ("u2" 55 99)
 ("o7" 84 99)
 ("o15" 65 101)
 ("o4" 77 115)
 ("o11" 65 128)
 ("o5" 74 133)
 ("o1" 83 136)
 ("o14" 86 140)
 ("o2" 74 144)
))
(1
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o11" 2 36)
 ("o15" 36 39)
 ("o3" 7 40)
 ("u1" 17 42)
 ("o12" 31 42)
 ("o10" 0 43)
 ("u3" 2 44)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("u1" 71 72)
 ("o5" 65 76)
 ("u2" 43 83)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o9" 64 92)
 ("o7" 63 94)
 ("o10" 47 98)
 ("o3" 90 101)
 ("o4" 68 106)
 ("o6" 58 107)
 ("o15" 59 113)
 ("o11" 64 122)
 ("o8" 38 123)
 ("o14" 52 129)
))
(2
 (
 ("o2" 12 14)
 ("o5" 2 22)
 ("o8" 11 28)
 ("o13" 25 28)
 ("o4" 14 31)
 ("u2" 26 31)
 ("o2" 29 32)
 ("o9" 17 35)
 ("o13" 29 36)
 ("o1" 3 37)
 ("o15" 3 37)
 ("o9" 36 37)
 ("o1" 38 39)
 ("o15" 38 41)
 ("o3" 8 42)
 ("o7" 7 44)
 ("u1" 19 44)
 ("o10" 2 45)
 ("o5" 25 47)
 ("o2" 41 47)
 ("o10" 46 48)
 ("o11" 39 50)
 ("o2" 48 50)
 ("o7" 45 57)
 ("u3" 47 57)
 ("o6" 13 59)
 ("o1" 40 66)
 ("o4" 32 69)
 ("o14" 44 82)
 ("o5" 48 88)
 ("o12" 45 90)
 ("o11" 56 90)
 ("u3" 83 90)
 ("o3" 43 91)
 ("o8" 29 96)
 ("o10" 49 100)
 ("o1" 76 111)
 ("o13" 85 111)
 ("u2" 32 129)
 ("o3" 92 130)
 ("o6" 72 135)
 ("o7" 83 138)
 ("o15" 85 171)
))
(3
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o9" 8 21)
 ("o5" 21 22)
 ("o13" 3 26)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 32 33)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("o7" 15 42)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o2" 31 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o9" 52 69)
 ("o14" 25 70)
 ("o13" 47 77)
 ("o6" 75 80)
 ("o8" 27 84)
 ("o12" 43 88)
 ("u2" 66 88)
 ("o3" 41 89)
 ("o10" 47 98)
 ("o9" 82 102)
 ("o12" 89 110)
 ("o13" 83 124)
 ("u3" 56 126)
 ("o5" 55 133)
 ("o7" 76 137)
 ("o11" 69 142)
 ("o15" 46 144)
 ("u1" 73 149)
))
(4
 (
 ("o8" 1 11)
 ("o2" 13 15)
 ("u1" 14 19)
 ("o5" 3 23)
 ("u2" 1 26)
 ("o8" 12 29)
 ("o13" 19 29)
 ("o4" 6 32)
 ("u2" 27 32)
 ("o2" 30 33)
 ("o14" 9 34)
 ("o9" 22 36)
 ("o13" 30 37)
 ("o1" 4 38)
 ("o15" 30 38)
 ("o9" 37 38)
 ("o11" 34 39)
 ("o15" 39 42)
 ("o12" 12 45)
 ("u1" 20 45)
 ("o10" 3 46)
 ("o8" 30 47)
 ("o5" 26 48)
 ("o10" 47 49)
 ("o11" 40 51)
 ("o2" 49 51)
 ("o7" 46 58)
 ("u3" 48 58)
 ("o14" 39 59)
 ("o6" 14 60)
 ("o8" 48 65)
 ("o1" 41 67)
 ("o4" 33 70)
 ("o14" 61 77)
 ("o8" 67 83)
 ("o1" 68 84)
 ("o12" 46 91)
 ("o6" 70 91)
 ("o3" 44 92)
 ("o2" 77 92)
 ("o8" 85 95)
 ("o10" 50 101)
 ("u2" 50 103)
 ("o5" 88 104)
 ("u3" 68 106)
 ("o14" 80 110)
 ("o8" 97 111)
 ("o3" 93 114)
 ("o4" 73 126)
 ("o15" 91 127)
 ("o7" 82 135)
 ("o12" 92 150)
))
(5
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o14" 9 20)
 ("o5" 21 22)
 ("o8" 9 26)
 ("o13" 17 26)
 ("o4" 20 29)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("u3" 15 36)
 ("o11" 33 36)
 ("o1" 36 37)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o14" 27 44)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o5" 46 61)
 ("o1" 38 64)
 ("o13" 50 64)
 ("u3" 56 66)
 ("o4" 30 67)
 ("o7" 66 73)
 ("o14" 55 74)
 ("o6" 58 86)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o5" 64 91)
 ("o13" 83 97)
 ("o12" 89 97)
 ("o10" 47 98)
 ("u3" 79 98)
 ("o9" 60 103)
 ("u2" 37 108)
 ("o8" 50 108)
 ("o14" 86 110)
 ("o3" 90 129)
 ("u1" 43 139)
 ("o10" 99 147)
))
(6
 (
 ("o2" 1 3)
 ("o2" 6 9)
 ("o2" 10 12)
 ("o2" 13 15)
 ("u1" 12 16)
 ("o5" 0 20)
 ("o2" 18 22)
 ("u2" 16 23)
 ("o8" 9 26)
 ("o2" 24 26)
 ("u2" 24 29)
 ("o4" 27 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o2" 31 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o2" 35 38)
 ("o15" 36 39)
 ("o3" 10 40)
 ("u1" 17 42)
 ("o12" 27 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o2" 40 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o2" 49 52)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o2" 54 57)
 ("o2" 59 61)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o2" 64 70)
 ("o2" 73 74)
 ("o2" 75 83)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o8" 54 91)
 ("o2" 87 91)
 ("o2" 92 94)
 ("o10" 47 98)
 ("u2" 72 101)
 ("o2" 98 101)
 ("o4" 80 112)
 ("o15" 56 114)
 ("o7" 77 121)
 ("o11" 80 124)
 ("u3" 85 126)
 ("o9" 83 148)
 ("o5" 65 151)
 ("o6" 61 156)
))
(7
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("u2" 3 23)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("o7" 16 42)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o2" 42 45)
 ("o10" 44 46)
 ("o14" 18 48)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o13" 72 93)
 ("u3" 68 94)
 ("o10" 47 98)
 ("o1" 96 100)
 ("o6" 58 110)
 ("o14" 73 110)
 ("o7" 80 117)
 ("o12" 89 117)
 ("o15" 63 123)
 ("o3" 90 123)
 ("o10" 99 140)
 ("o9" 98 153)
 ("u1" 74 154)
 ("o8" 89 180)
 ("u2" 99 186)
))
(8
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("u2" 8 23)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 4 33)
 ("o15" 22 34)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("o7" 22 40)
 ("u1" 17 42)
 ("o12" 37 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o15" 46 59)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o7" 59 68)
 ("o14" 52 73)
 ("o13" 35 75)
 ("o15" 73 83)
 ("u3" 76 87)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o9" 44 91)
 ("o10" 47 98)
 ("o5" 76 100)
 ("o11" 69 103)
 ("o6" 75 104)
 ("o2" 62 109)
 ("o1" 65 114)
 ("o4" 68 116)
 ("o8" 66 121)
 ("u2" 81 144)
 ("u1" 64 148)
))
(9
 (
 ("o2" 21 23)
 ("o5" 11 31)
 ("o13" 5 35)
 ("o3" 17 35)
 ("o8" 20 37)
 ("o9" 13 40)
 ("u2" 35 40)
 ("o2" 38 41)
 ("o13" 38 45)
 ("o1" 12 46)
 ("o15" 14 46)
 ("o9" 45 46)
 ("o1" 47 48)
 ("o15" 47 50)
 ("o3" 49 51)
 ("u1" 28 53)
 ("o12" 34 53)
 ("o10" 11 54)
 ("o5" 34 56)
 ("o11" 48 59)
 ("o2" 57 59)
 ("o5" 57 63)
 ("o7" 54 66)
 ("u3" 56 66)
 ("o6" 22 68)
 ("o13" 46 71)
 ("u1" 54 71)
 ("o1" 49 75)
 ("o4" 41 78)
 ("o9" 61 86)
 ("o12" 54 99)
 ("o7" 79 99)
 ("o14" 50 100)
 ("o3" 52 100)
 ("u3" 67 104)
 ("o13" 76 105)
 ("o3" 101 107)
 ("o10" 58 109)
 ("o5" 89 116)
 ("u2" 51 120)
 ("o4" 80 130)
 ("o6" 109 134)
 ("o13" 110 139)
 ("o9" 102 141)
 ("o10" 110 143)
 ("o8" 40 154)
 ("u1" 110 170)
 ("o2" 105 183)
 ("o15" 106 191)
 ("o11" 103 206)
))
(10
 (
 ("u1" 15 17)
 ("u3" 9 29)
 ("o2" 5 30)
 ("o2" 31 33)
 ("o5" 21 41)
 ("o9" 9 43)
 ("o8" 30 47)
 ("u2" 45 50)
 ("o2" 48 51)
 ("u3" 41 54)
 ("o9" 52 54)
 ("o13" 48 55)
 ("o1" 22 56)
 ("o9" 55 56)
 ("o1" 57 58)
 ("o15" 57 60)
 ("o7" 6 63)
 ("u1" 38 63)
 ("o10" 21 64)
 ("o5" 44 66)
 ("o10" 65 67)
 ("o11" 58 69)
 ("o2" 67 69)
 ("o7" 64 76)
 ("u3" 66 76)
 ("o6" 32 78)
 ("u1" 83 84)
 ("o1" 59 85)
 ("o4" 51 88)
 ("u3" 77 89)
 ("u1" 99 101)
 ("o5" 91 104)
 ("o12" 64 109)
 ("o3" 62 110)
 ("u3" 102 110)
 ("o10" 68 119)
 ("o6" 79 122)
 ("o9" 97 127)
 ("o13" 122 127)
 ("o8" 53 130)
 ("o1" 103 139)
 ("o11" 70 144)
 ("o4" 89 146)
 ("o7" 80 163)
 ("o2" 115 189)
 ("o12" 110 206)
 ("u2" 114 208)
 ("o15" 112 219)
 ("o14" 119 244)
))
(11
 (
 ("o2" 15 17)
 ("o5" 5 25)
 ("o14" 7 29)
 ("o8" 14 31)
 ("u2" 29 34)
 ("o2" 32 35)
 ("o9" 33 38)
 ("o13" 32 39)
 ("o1" 6 40)
 ("o9" 39 40)
 ("o11" 23 41)
 ("o1" 41 42)
 ("o15" 41 44)
 ("u1" 22 47)
 ("o10" 5 48)
 ("o5" 28 50)
 ("o2" 36 50)
 ("o11" 42 53)
 ("o2" 51 53)
 ("o14" 36 59)
 ("o7" 48 60)
 ("u3" 50 60)
 ("o6" 16 62)
 ("o1" 43 69)
 ("o4" 35 72)
 ("o14" 65 79)
 ("o12" 48 93)
 ("o3" 46 94)
 ("u3" 78 97)
 ("o10" 52 103)
 ("o14" 91 112)
 ("o6" 75 124)
 ("o8" 67 127)
 ("o1" 75 131)
 ("o4" 73 133)
 ("o15" 100 140)
 ("u2" 100 148)
 ("o12" 94 150)
 ("o5" 77 163)
 ("o13" 60 167)
 ("o11" 103 167)
))
(12
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o4" 4 29)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 10 33)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o11" 34 36)
 ("o1" 36 37)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o7" 22 42)
 ("o12" 29 42)
 ("o10" 0 43)
 ("u3" 15 44)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o15" 41 63)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o13" 58 68)
 ("u2" 70 71)
 ("o6" 61 78)
 ("o2" 61 83)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o10" 47 98)
 ("o9" 60 100)
 ("o6" 86 102)
 ("u3" 73 107)
 ("o3" 90 107)
 ("o1" 77 108)
 ("o10" 99 113)
 ("o8" 95 125)
 ("o14" 41 131)
 ("o4" 70 135)
 ("o5" 76 189)
))
(13
 (
 ("o2" 11 13)
 ("o5" 1 21)
 ("o8" 10 27)
 ("o4" 9 30)
 ("u2" 25 30)
 ("o2" 28 31)
 ("o13" 28 35)
 ("o1" 2 36)
 ("o15" 13 36)
 ("o9" 35 36)
 ("o15" 37 40)
 ("u1" 18 43)
 ("o12" 34 43)
 ("o10" 1 44)
 ("u3" 20 45)
 ("o5" 24 46)
 ("o10" 45 47)
 ("o11" 38 49)
 ("o2" 47 49)
 ("o2" 50 51)
 ("o8" 36 52)
 ("o7" 44 56)
 ("u3" 46 56)
 ("o6" 12 58)
 ("o1" 39 65)
 ("o4" 31 68)
 ("o12" 44 89)
 ("o3" 42 90)
 ("o8" 81 98)
 ("o10" 48 99)
 ("o2" 97 100)
 ("o6" 94 114)
 ("u1" 79 115)
 ("o1" 67 121)
 ("o14" 59 129)
 ("o11" 85 137)
 ("o9" 57 147)
 ("u2" 89 147)
 ("o13" 92 147)
 ("o5" 57 163)
 ("o4" 92 163)
 ("o7" 94 163)
 ("u3" 96 163)
 ("o3" 91 174)
 ("o15" 84 175)
))
(14
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o5" 21 22)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 29 33)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o12" 35 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o5" 46 52)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o9" 60 61)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o5" 54 80)
 ("o8" 50 86)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o9" 89 91)
 ("o10" 47 98)
 ("o5" 84 98)
 ("o10" 99 101)
 ("o6" 88 102)
 ("o13" 37 106)
 ("o1" 68 140)
 ("o14" 84 144)
 ("o2" 68 157)
 ("o7" 92 158)
 ("o15" 65 160)
 ("u3" 81 166)
 ("u1" 67 167)
 ("u2" 88 170)
))
(15
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("u2" 13 23)
 ("o8" 9 26)
 ("o14" 14 29)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("o14" 34 40)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o2" 41 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o14" 41 51)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o9" 64 67)
 ("o14" 58 75)
 ("u3" 63 78)
 ("o14" 81 87)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o5" 84 90)
 ("o11" 49 95)
 ("o7" 56 96)
 ("o10" 47 98)
 ("o13" 59 101)
 ("o6" 86 108)
 ("o12" 89 128)
 ("o8" 73 129)
 ("u2" 67 135)
 ("o1" 80 139)
 ("u1" 72 146)
))
(16
 (
 ("u1" 2 7)
 ("o6" 7 10)
 ("o2" 10 12)
 ("u1" 12 16)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o13" 10 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o11" 31 36)
 ("o15" 36 39)
 ("o3" 21 40)
 ("u1" 17 42)
 ("o12" 24 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("u1" 46 52)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o5" 46 55)
 ("o2" 54 55)
 ("o6" 11 57)
 ("u1" 55 58)
 ("o14" 18 59)
 ("o1" 38 64)
 ("u1" 62 64)
 ("o4" 30 67)
 ("u1" 69 73)
 ("o8" 49 74)
 ("u1" 77 79)
 ("o13" 55 87)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o10" 47 98)
 ("u2" 51 98)
 ("o4" 68 98)
 ("o5" 74 110)
 ("o14" 73 111)
 ("o9" 77 112)
 ("o1" 65 118)
 ("u3" 57 139)
 ("o7" 63 143)
))
(17
 (
 ("u2" 7 11)
 ("o2" 10 12)
 ("o5" 0 20)
 ("u2" 21 23)
 ("o8" 9 26)
 ("o13" 17 26)
 ("o2" 19 26)
 ("o4" 12 29)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o11" 3 32)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("u2" 35 40)
 ("o12" 13 42)
 ("u1" 17 42)
 ("o7" 36 42)
 ("o10" 0 43)
 ("u3" 32 44)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("u1" 43 50)
 ("u2" 45 54)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("u2" 64 72)
 ("o11" 49 74)
 ("o5" 76 79)
 ("u2" 76 82)
 ("o12" 43 88)
 ("o2" 70 88)
 ("o3" 41 89)
 ("o10" 47 98)
 ("o1" 71 100)
 ("o8" 64 102)
 ("u1" 88 105)
 ("o11" 78 111)
 ("o13" 85 123)
 ("o6" 69 134)
 ("o15" 59 141)
 ("o9" 90 147)
 ("o10" 99 152)
 ("o3" 90 158)
))
(18
 (
 ("u2" 6 12)
 ("o2" 10 12)
 ("o5" 0 20)
 ("u2" 15 22)
 ("o5" 21 22)
 ("o13" 3 26)
 ("o8" 9 26)
 ("o4" 6 29)
 ("u2" 24 29)
 ("o2" 27 30)
 ("u2" 30 32)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o15" 15 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("o8" 27 40)
 ("u1" 17 42)
 ("o12" 37 42)
 ("o7" 41 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("u2" 36 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("u2" 48 51)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("u2" 54 62)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o8" 55 72)
 ("u2" 71 77)
 ("o11" 49 78)
 ("o6" 58 79)
 ("u2" 81 84)
 ("o9" 39 85)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o13" 44 94)
 ("o3" 90 97)
 ("o10" 47 98)
 ("o5" 50 101)
 ("u1" 43 115)
 ("o1" 65 122)
 ("o14" 83 125)
 ("o4" 80 133)
 ("o2" 52 141)
 ("u3" 56 141)
))
(19
 (
 ("o2" 12 14)
 ("o5" 2 22)
 ("u2" 8 25)
 ("o8" 11 28)
 ("o12" 14 28)
 ("u2" 26 31)
 ("o2" 29 32)
 ("o9" 12 35)
 ("o13" 29 36)
 ("o1" 3 37)
 ("o15" 17 37)
 ("o9" 36 37)
 ("o1" 38 39)
 ("o8" 29 40)
 ("o15" 38 41)
 ("o3" 13 42)
 ("u1" 19 44)
 ("o12" 41 44)
 ("o10" 2 45)
 ("u3" 43 46)
 ("o5" 25 47)
 ("o10" 46 48)
 ("o11" 39 50)
 ("o2" 48 50)
 ("o7" 45 57)
 ("u3" 47 57)
 ("o6" 13 59)
 ("o2" 51 62)
 ("o1" 40 66)
 ("o4" 32 69)
 ("o4" 71 81)
 ("o8" 61 87)
 ("o12" 45 90)
 ("o3" 43 91)
 ("o11" 51 97)
 ("o6" 75 97)
 ("u1" 87 98)
 ("o14" 59 99)
 ("o10" 49 100)
 ("o5" 82 103)
 ("o7" 100 117)
 ("o10" 101 117)
 ("o1" 98 160)
 ("o13" 100 182)
))
(20
 (
 ("o2" 10 12)
 ("o11" 13 16)
 ("o5" 0 20)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o15" 7 31)
 ("o9" 32 33)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o11" 31 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("o12" 9 42)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o11" 49 50)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o15" 40 56)
 ("o6" 11 57)
 ("o6" 58 61)
 ("o1" 38 64)
 ("o11" 61 64)
 ("o4" 30 67)
 ("o11" 78 82)
 ("o8" 86 87)
 ("o12" 43 88)
 ("o15" 62 88)
 ("o3" 41 89)
 ("o5" 59 94)
 ("o2" 52 96)
 ("o10" 47 98)
 ("o13" 35 101)
 ("o12" 89 107)
 ("u1" 43 110)
 ("u2" 81 114)
 ("o4" 68 117)
 ("o14" 92 129)
 ("o10" 99 146)
 ("o7" 62 155)
 ("u3" 56 159)
))
(21
 (
 ("o2" 19 21)
 ("o14" 7 29)
 ("o5" 9 29)
 ("o5" 30 31)
 ("o13" 12 35)
 ("o8" 18 35)
 ("o4" 20 38)
 ("u2" 33 38)
 ("o2" 36 39)
 ("o13" 36 43)
 ("o1" 10 44)
 ("o9" 43 44)
 ("o15" 45 48)
 ("u1" 26 51)
 ("o10" 9 52)
 ("o5" 32 54)
 ("o11" 46 57)
 ("o2" 55 57)
 ("o14" 41 61)
 ("o7" 52 64)
 ("u3" 54 64)
 ("o6" 20 66)
 ("o1" 47 73)
 ("o4" 39 76)
 ("o12" 52 97)
 ("o3" 50 98)
 ("o14" 72 104)
 ("o10" 56 107)
 ("o13" 66 110)
 ("o10" 108 118)
 ("o8" 36 132)
 ("o6" 67 134)
 ("o1" 94 146)
 ("o15" 59 150)
 ("u3" 65 150)
 ("u2" 39 151)
 ("o9" 89 166)
 ("u1" 85 167)
 ("o11" 85 169)
 ("o7" 79 177)
 ("o2" 95 177)
 ("o12" 98 179)
))
(22
 (
 ("o8" 2 9)
 ("o2" 11 13)
 ("u1" 8 17)
 ("o5" 1 21)
 ("o8" 10 27)
 ("u2" 25 30)
 ("o2" 28 31)
 ("o9" 11 34)
 ("o13" 28 35)
 ("o1" 2 36)
 ("o15" 23 36)
 ("o9" 35 36)
 ("o15" 37 40)
 ("u1" 18 43)
 ("o12" 33 43)
 ("o10" 1 44)
 ("o5" 24 46)
 ("o10" 45 47)
 ("o11" 38 49)
 ("u1" 44 49)
 ("o2" 47 49)
 ("o7" 44 56)
 ("u3" 46 56)
 ("o6" 12 58)
 ("o11" 50 59)
 ("o1" 39 65)
 ("o4" 31 68)
 ("o4" 69 74)
 ("o13" 51 75)
 ("u1" 57 77)
 ("o12" 44 89)
 ("o3" 42 90)
 ("o10" 48 99)
 ("u1" 85 100)
 ("u3" 86 100)
 ("o2" 88 104)
 ("o14" 43 114)
 ("o11" 92 119)
 ("u2" 84 123)
 ("o7" 92 127)
 ("o6" 69 144)
 ("o9" 95 157)
 ("o8" 83 168)
 ("o1" 94 186)
))
(23
 (
 ("o8" 3 10)
 ("o6" 7 12)
 ("o2" 12 14)
 ("o5" 2 22)
 ("o13" 6 28)
 ("o8" 11 28)
 ("o4" 25 31)
 ("u2" 26 31)
 ("o2" 29 32)
 ("o11" 9 35)
 ("o13" 29 36)
 ("o1" 3 37)
 ("o15" 13 37)
 ("o9" 36 37)
 ("o15" 38 41)
 ("u1" 19 44)
 ("o8" 29 44)
 ("o7" 35 44)
 ("o10" 2 45)
 ("o9" 38 46)
 ("o5" 25 47)
 ("o10" 46 48)
 ("o11" 39 50)
 ("o2" 48 50)
 ("o7" 45 57)
 ("u3" 47 57)
 ("o6" 13 59)
 ("o1" 40 66)
 ("o4" 32 69)
 ("o11" 51 75)
 ("o8" 55 82)
 ("o1" 79 86)
 ("o12" 45 90)
 ("o3" 43 91)
 ("u1" 45 97)
 ("o15" 61 97)
 ("o5" 79 98)
 ("o9" 81 98)
 ("o10" 49 100)
 ("u2" 49 103)
 ("o8" 91 115)
 ("o4" 80 120)
 ("o12" 91 120)
 ("o11" 93 121)
 ("o2" 61 125)
 ("o3" 92 167)
 ("o6" 86 185)
 ("u3" 95 189)
))
(24
 (
 ("o1" 5 16)
 ("o2" 26 28)
 ("o5" 16 36)
 ("u2" 29 38)
 ("o8" 25 42)
 ("o4" 13 45)
 ("u2" 40 45)
 ("o2" 43 46)
 ("o9" 22 49)
 ("o13" 43 50)
 ("o1" 17 51)
 ("o9" 50 51)
 ("o15" 52 55)
 ("o7" 19 58)
 ("o12" 28 58)
 ("u1" 33 58)
 ("o10" 16 59)
 ("u3" 32 60)
 ("o5" 39 61)
 ("o10" 60 62)
 ("o11" 53 64)
 ("o2" 62 64)
 ("o7" 59 71)
 ("u3" 61 71)
 ("o6" 27 73)
 ("o1" 54 80)
 ("o4" 46 83)
 ("u2" 75 84)
 ("o6" 74 98)
 ("o12" 59 104)
 ("o1" 81 104)
 ("o3" 57 105)
 ("o5" 64 105)
 ("o10" 63 114)
 ("u2" 111 117)
 ("o13" 90 118)
 ("o7" 79 119)
 ("o2" 105 131)
 ("o8" 94 143)
 ("o15" 76 145)
 ("o9" 95 147)
 ("o1" 107 156)
 ("o14" 51 158)
 ("u1" 83 176)
 ("o4" 109 202)
 ("o11" 103 211)
))
(25
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("u2" 10 23)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 30 33)
 ("o13" 27 34)
 ("o3" 31 34)
 ("o1" 1 35)
 ("o15" 32 35)
 ("o9" 34 35)
 ("o7" 17 36)
 ("o11" 27 36)
 ("o1" 36 37)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o2" 31 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o14" 11 53)
 ("o13" 35 53)
 ("o5" 46 54)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("u1" 58 83)
 ("o7" 60 85)
 ("o12" 43 88)
 ("o3" 41 89)
 ("u3" 73 96)
 ("o10" 47 98)
 ("o14" 69 108)
 ("o4" 68 112)
 ("o13" 88 116)
 ("u2" 87 137)
 ("o8" 52 143)
))
(26
 (
 ("o6" 4 10)
 ("o2" 10 12)
 ("u3" 1 17)
 ("o5" 0 20)
 ("u2" 4 23)
 ("o8" 9 26)
 ("u2" 24 29)
 ("u3" 21 30)
 ("o2" 27 30)
 ("o9" 16 33)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o11" 13 36)
 ("o15" 36 39)
 ("o3" 38 40)
 ("o7" 13 42)
 ("u1" 17 42)
 ("o10" 0 43)
 ("u3" 32 44)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("u3" 56 63)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o5" 74 78)
 ("u3" 67 83)
 ("o12" 43 88)
 ("o9" 57 88)
 ("o3" 41 89)
 ("o1" 66 93)
 ("o10" 47 98)
 ("u3" 86 99)
 ("o12" 94 99)
 ("o15" 71 103)
 ("u1" 94 104)
 ("o11" 60 111)
 ("o6" 58 112)
 ("o10" 99 119)
 ("o14" 56 123)
 ("o13" 43 124)
 ("o4" 71 130)
 ("o7" 89 130)
 ("u2" 82 147)
 ("o2" 85 157)
))
(27
 (
 ("o8" 6 14)
 ("o2" 6 15)
 ("o2" 16 18)
 ("o5" 6 26)
 ("o8" 15 32)
 ("u2" 30 35)
 ("o2" 33 36)
 ("o13" 33 40)
 ("o1" 7 41)
 ("o9" 40 41)
 ("o15" 42 45)
 ("u1" 23 48)
 ("o7" 31 48)
 ("o10" 6 49)
 ("u3" 5 50)
 ("o5" 29 51)
 ("o2" 48 51)
 ("o10" 50 52)
 ("o11" 43 54)
 ("o2" 52 54)
 ("o7" 49 61)
 ("u3" 51 61)
 ("o6" 17 63)
 ("o1" 44 70)
 ("o4" 36 73)
 ("o12" 49 94)
 ("o3" 47 95)
 ("o4" 91 96)
 ("o14" 50 99)
 ("o9" 42 101)
 ("u2" 91 101)
 ("o10" 53 104)
 ("o11" 98 104)
 ("o3" 101 105)
 ("o2" 81 107)
 ("o5" 88 120)
 ("o10" 105 121)
 ("o1" 96 128)
 ("o8" 73 130)
 ("o6" 77 140)
 ("u1" 62 144)
 ("o13" 90 150)
 ("u3" 81 154)
))
(28
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("o3" 10 40)
 ("u1" 17 42)
 ("o12" 19 42)
 ("o10" 0 43)
 ("u3" 1 44)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o13" 35 69)
 ("o4" 68 69)
 ("u2" 61 74)
 ("u1" 57 80)
 ("o9" 39 82)
 ("o6" 58 85)
 ("o11" 49 87)
 ("o12" 43 88)
 ("o5" 57 88)
 ("o3" 41 89)
 ("o10" 47 98)
 ("o15" 46 101)
 ("o3" 90 106)
 ("o7" 56 114)
 ("o14" 70 115)
 ("o12" 89 120)
 ("o1" 76 136)
 ("o8" 78 143)
 ("o2" 82 151)
 ("u3" 88 154)
))
(29
 (
 ("o2" 10 12)
 ("u1" 4 16)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o13" 16 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 29 33)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o11" 29 36)
 ("o15" 36 39)
 ("o7" 10 42)
 ("u1" 17 42)
 ("o12" 37 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("u1" 43 56)
 ("o6" 11 57)
 ("o8" 44 61)
 ("o1" 38 64)
 ("o4" 30 67)
 ("u1" 58 71)
 ("o6" 58 76)
 ("o5" 64 76)
 ("o12" 43 88)
 ("o3" 41 89)
 ("u1" 74 89)
 ("o14" 23 92)
 ("o3" 90 94)
 ("o10" 47 98)
 ("u1" 90 108)
 ("o1" 77 118)
 ("o13" 70 120)
 ("u3" 86 128)
 ("o4" 85 135)
 ("o2" 49 140)
 ("o15" 77 144)
 ("o7" 85 150)
))
(30
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o8" 27 28)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o15" 25 34)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o11" 35 36)
 ("o15" 36 39)
 ("o7" 31 40)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o8" 48 54)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o5" 53 57)
 ("o14" 51 62)
 ("o1" 38 64)
 ("o15" 55 66)
 ("o4" 30 67)
 ("o13" 42 81)
 ("u2" 46 81)
 ("o5" 80 84)
 ("o8" 77 85)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o6" 58 95)
 ("o10" 47 98)
 ("o12" 89 100)
 ("o15" 83 101)
 ("o4" 81 126)
 ("o9" 55 130)
 ("o1" 65 137)
 ("u3" 75 145)
 ("u1" 65 176)
))
(31
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o13" 23 26)
 ("o4" 22 29)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o11" 34 36)
 ("o1" 36 37)
 ("o15" 36 39)
 ("o3" 27 40)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("u2" 37 55)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o9" 72 87)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o10" 47 98)
 ("u2" 82 99)
 ("o14" 40 105)
 ("o6" 58 105)
 ("o8" 27 111)
 ("o5" 63 126)
 ("o12" 89 131)
 ("u1" 98 133)
 ("o2" 93 134)
 ("u3" 75 137)
 ("o15" 65 138)
 ("o13" 96 140)
 ("o1" 78 144)
 ("o7" 68 156)
 ("o10" 99 174)
))
(32
 (
 ("o2" 13 15)
 ("o5" 3 23)
 ("o12" 15 25)
 ("o8" 12 29)
 ("o3" 12 30)
 ("u2" 27 32)
 ("o2" 30 33)
 ("o13" 30 37)
 ("o15" 3 38)
 ("o1" 4 38)
 ("o9" 37 38)
 ("o8" 30 40)
 ("o1" 39 40)
 ("o15" 39 42)
 ("o3" 36 43)
 ("u1" 20 45)
 ("o10" 3 46)
 ("o5" 26 48)
 ("o2" 45 48)
 ("o11" 40 51)
 ("o2" 49 51)
 ("u1" 46 56)
 ("o7" 46 58)
 ("u3" 48 58)
 ("o6" 14 60)
 ("o14" 29 64)
 ("o1" 41 67)
 ("o4" 33 70)
 ("o8" 56 74)
 ("o12" 46 91)
 ("o3" 44 92)
 ("o12" 92 100)
 ("o10" 50 101)
 ("o13" 75 104)
 ("o7" 100 104)
 ("o15" 49 107)
 ("o5" 79 108)
 ("o8" 90 111)
 ("o3" 93 111)
 ("u2" 86 118)
 ("u1" 98 128)
 ("o14" 93 135)
 ("o10" 102 141)
 ("u3" 59 149)
 ("o4" 88 170)
 ("o6" 85 177)
 ("o11" 87 180)
 ("o9" 104 201)
))
(33
 (
 ("o6" 2 10)
 ("o11" 7 11)
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o13" 24 26)
 ("o11" 23 28)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("o3" 3 40)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o2" 40 43)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o11" 49 50)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o8" 27 56)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o11" 62 69)
 ("o13" 58 71)
 ("o2" 73 75)
 ("o6" 58 87)
 ("o11" 79 87)
 ("o12" 43 88)
 ("u1" 43 88)
 ("o3" 41 89)
 ("o15" 52 92)
 ("o14" 60 92)
 ("o4" 68 94)
 ("o9" 86 95)
 ("o10" 47 98)
 ("o13" 86 99)
 ("o5" 75 101)
 ("o8" 79 118)
 ("o12" 89 123)
 ("o6" 91 133)
 ("u3" 86 144)
 ("o3" 90 149)
 ("u2" 66 156)
 ("o7" 67 159)
))
(34
 (
 ("o2" 10 12)
 ("u1" 9 16)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o4" 23 29)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("o12" 5 42)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o13" 35 43)
 ("u3" 7 44)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o13" 69 77)
 ("o11" 49 83)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o4" 71 91)
 ("o10" 47 98)
 ("u1" 69 102)
 ("u3" 67 104)
 ("o6" 58 108)
 ("o8" 41 112)
 ("o5" 46 114)
 ("u2" 47 114)
 ("o15" 83 115)
 ("o1" 65 118)
 ("o14" 70 118)
 ("o7" 81 119)
 ("o9" 43 120)
 ("o12" 89 122)
 ("o2" 72 125)
 ("o10" 99 167)
))
(35
 (
 ("o2" 10 12)
 ("o12" 3 19)
 ("o5" 0 20)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 16 33)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o12" 22 36)
 ("o11" 23 36)
 ("o14" 8 38)
 ("o15" 36 39)
 ("o3" 33 40)
 ("u3" 19 41)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("u1" 43 52)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o13" 35 66)
 ("o4" 30 67)
 ("o14" 42 67)
 ("o1" 69 73)
 ("o5" 61 83)
 ("o12" 43 88)
 ("u3" 62 88)
 ("o3" 41 89)
 ("o12" 89 92)
 ("o10" 47 98)
 ("u1" 75 99)
 ("o14" 71 103)
 ("o15" 68 106)
 ("o8" 27 107)
 ("o13" 88 127)
 ("o2" 57 139)
 ("o7" 80 151)
 ("u2" 62 157)
))
(36
 (
 ("o6" 2 10)
 ("u3" 6 12)
 ("o2" 10 12)
 ("o13" 14 18)
 ("u3" 18 19)
 ("o5" 0 20)
 ("o5" 21 22)
 ("o13" 21 25)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("u3" 28 32)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o8" 27 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("u3" 38 40)
 ("o13" 35 41)
 ("o7" 2 42)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o13" 47 56)
 ("o6" 11 57)
 ("u3" 56 58)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o13" 66 67)
 ("o8" 46 70)
 ("u3" 64 71)
 ("o14" 28 73)
 ("u1" 48 78)
 ("o9" 52 79)
 ("u3" 79 84)
 ("o7" 56 87)
 ("o12" 43 88)
 ("o8" 77 88)
 ("o3" 41 89)
 ("o13" 81 90)
 ("u2" 55 94)
 ("o4" 68 94)
 ("o10" 47 98)
 ("u3" 89 98)
 ("o11" 51 102)
 ("o5" 63 102)
 ("o3" 90 113)
 ("o7" 89 123)
 ("o1" 69 133)
 ("o15" 77 136)
 ("o10" 99 138)
))
(37
 (
 ("o2" 12 14)
 ("o5" 2 22)
 ("o5" 23 24)
 ("o8" 11 28)
 ("o4" 18 31)
 ("u2" 26 31)
 ("o2" 29 32)
 ("o7" 1 34)
 ("o13" 29 36)
 ("o1" 3 37)
 ("o9" 36 37)
 ("o12" 18 40)
 ("o15" 38 41)
 ("u1" 19 44)
 ("o7" 38 44)
 ("o10" 2 45)
 ("u3" 1 46)
 ("o5" 25 47)
 ("o2" 33 47)
 ("o11" 39 50)
 ("o2" 48 50)
 ("o7" 45 57)
 ("u3" 47 57)
 ("o6" 13 59)
 ("o1" 40 66)
 ("o11" 56 66)
 ("o4" 32 69)
 ("o5" 48 78)
 ("o12" 45 90)
 ("o3" 43 91)
 ("o7" 66 96)
 ("o10" 49 100)
 ("o6" 97 100)
 ("o13" 64 102)
 ("o14" 64 107)
 ("o3" 92 107)
 ("o5" 85 108)
 ("u2" 37 115)
 ("o7" 98 123)
 ("u1" 48 125)
 ("o12" 91 128)
 ("o8" 98 146)
 ("o1" 78 159)
 ("o9" 71 160)
 ("o15" 78 172)
 ("u3" 88 187)
 ("o10" 101 205)
))
(38
 (
 ("o2" 9 16)
 ("o2" 17 19)
 ("o5" 7 27)
 ("o5" 28 29)
 ("o8" 16 33)
 ("o4" 11 36)
 ("u2" 31 36)
 ("o2" 34 37)
 ("o13" 34 41)
 ("o1" 8 42)
 ("o9" 41 42)
 ("o11" 8 43)
 ("o15" 43 46)
 ("o3" 29 47)
 ("u1" 24 49)
 ("o10" 7 50)
 ("o5" 30 52)
 ("o11" 44 55)
 ("o2" 53 55)
 ("o7" 50 62)
 ("u3" 52 62)
 ("o6" 18 64)
 ("o1" 45 71)
 ("o4" 37 74)
 ("o8" 34 82)
 ("o12" 50 95)
 ("o3" 48 96)
 ("o6" 65 103)
 ("o10" 54 105)
 ("o13" 107 110)
 ("o14" 97 115)
 ("o9" 52 129)
 ("o3" 97 129)
 ("u1" 77 142)
 ("u2" 66 146)
 ("o1" 89 146)
 ("o8" 110 159)
 ("o2" 103 163)
 ("o15" 111 178)
 ("o10" 106 181)
 ("o12" 110 185)
 ("o4" 109 193)
))
(39
 (
 ("o2" 15 17)
 ("o5" 5 25)
 ("o5" 26 27)
 ("o15" 4 29)
 ("o8" 14 31)
 ("u2" 29 34)
 ("o2" 32 35)
 ("o9" 37 38)
 ("o13" 32 39)
 ("o1" 6 40)
 ("o15" 30 40)
 ("o9" 39 40)
 ("o15" 41 44)
 ("o3" 11 45)
 ("o7" 6 47)
 ("u1" 22 47)
 ("o12" 36 47)
 ("o10" 5 48)
 ("o5" 28 50)
 ("o2" 49 50)
 ("o11" 42 53)
 ("o2" 51 53)
 ("o7" 48 60)
 ("u3" 50 60)
 ("o6" 16 62)
 ("u2" 55 64)
 ("o1" 43 69)
 ("o4" 35 72)
 ("u3" 62 75)
 ("o5" 63 76)
 ("o15" 57 83)
 ("o12" 48 93)
 ("o3" 46 94)
 ("o10" 52 103)
 ("o15" 86 109)
 ("o5" 100 110)
 ("o9" 96 114)
 ("u1" 48 122)
 ("o4" 73 127)
 ("o13" 79 162)
 ("o14" 63 167)
 ("o6" 86 169)
 ("o11" 97 173)
 ("o1" 83 190)
 ("o7" 98 199)
))
(40
 (
 ("o2" 7 11)
 ("o2" 12 14)
 ("o5" 2 22)
 ("o8" 11 28)
 ("u2" 26 31)
 ("o2" 29 32)
 ("o13" 29 36)
 ("o1" 3 37)
 ("o9" 36 37)
 ("o1" 38 39)
 ("o15" 38 41)
 ("o3" 25 42)
 ("u1" 19 44)
 ("o7" 24 44)
 ("o12" 38 44)
 ("o10" 2 45)
 ("o5" 25 47)
 ("o10" 46 48)
 ("o11" 39 50)
 ("o2" 48 50)
 ("o14" 46 54)
 ("o7" 45 57)
 ("u3" 47 57)
 ("o6" 13 59)
 ("o1" 40 66)
 ("o4" 32 69)
 ("o12" 45 90)
 ("o3" 43 91)
 ("o11" 76 99)
 ("o10" 49 100)
 ("o1" 73 102)
 ("o5" 95 110)
 ("u3" 78 117)
 ("o10" 101 117)
 ("o8" 95 120)
 ("u2" 51 121)
 ("o15" 97 134)
 ("o4" 70 137)
 ("u1" 95 147)
 ("o6" 71 154)
 ("o13" 85 159)
 ("o9" 79 168)
 ("o2" 95 194)
))
(41
 (
 ("o2" 13 15)
 ("o5" 3 23)
 ("u2" 13 26)
 ("o8" 12 29)
 ("o13" 21 29)
 ("u2" 27 32)
 ("o4" 31 32)
 ("o2" 30 33)
 ("o13" 30 37)
 ("o1" 4 38)
 ("o9" 37 38)
 ("o11" 17 39)
 ("o15" 39 42)
 ("u1" 20 45)
 ("o10" 3 46)
 ("o15" 43 46)
 ("u3" 19 47)
 ("o5" 26 48)
 ("o11" 40 51)
 ("o2" 49 51)
 ("o7" 46 58)
 ("u3" 48 58)
 ("o6" 14 60)
 ("o1" 41 67)
 ("o4" 33 70)
 ("u2" 42 72)
 ("o12" 46 91)
 ("o3" 44 92)
 ("u1" 46 97)
 ("o8" 30 98)
 ("o14" 21 99)
 ("o10" 50 101)
 ("u3" 76 101)
 ("u2" 85 114)
 ("o6" 61 116)
 ("o10" 102 123)
 ("o5" 49 124)
 ("o12" 92 125)
 ("o2" 88 127)
 ("o9" 71 138)
 ("o7" 99 153)
 ("o1" 82 155)
 ("o13" 100 157)
 ("o11" 101 164)
))
(42
 (
 ("o2" 7 9)
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o13" 16 26)
 ("o15" 9 27)
 ("o4" 19 29)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o2" 41 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o5" 46 52)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o15" 40 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o6" 59 69)
 ("o11" 69 70)
 ("o9" 36 76)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o15" 71 91)
 ("o2" 63 95)
 ("o8" 69 97)
 ("o10" 47 98)
 ("o5" 74 102)
 ("o13" 80 114)
 ("o10" 99 115)
 ("o14" 65 128)
 ("u1" 53 133)
 ("u3" 58 142)
 ("o7" 70 150)
 ("o12" 89 152)
))
(43
 (
 ("o2" 10 12)
 ("o14" 8 13)
 ("u1" 8 16)
 ("o5" 0 20)
 ("o5" 21 22)
 ("o14" 21 25)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o15" 3 35)
 ("o9" 34 35)
 ("o11" 26 36)
 ("o15" 36 39)
 ("o14" 40 41)
 ("u1" 17 42)
 ("o12" 18 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o14" 50 54)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o5" 50 69)
 ("o1" 65 71)
 ("o14" 65 71)
 ("o14" 74 81)
 ("o12" 43 88)
 ("u1" 55 88)
 ("o3" 41 89)
 ("o6" 58 89)
 ("o14" 90 94)
 ("o5" 76 97)
 ("o10" 47 98)
 ("o9" 56 103)
 ("o13" 35 112)
 ("u2" 94 112)
 ("o4" 68 116)
 ("u1" 93 121)
 ("o11" 83 123)
 ("o8" 27 127)
 ("o10" 99 129)
 ("o7" 68 139)
 ("u3" 86 147)
 ("o12" 95 152)
 ("o2" 81 185)
 ("o15" 92 188)
))
(44
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("u2" 18 23)
 ("o8" 9 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o9" 17 31)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o7" 41 42)
 ("o10" 0 43)
 ("o8" 42 44)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o6" 58 62)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o9" 52 71)
 ("o5" 61 78)
 ("o6" 67 79)
 ("o15" 71 79)
 ("o4" 74 87)
 ("o12" 43 88)
 ("o3" 41 89)
 ("u1" 43 90)
 ("u2" 65 96)
 ("o10" 47 98)
 ("o11" 73 99)
 ("o14" 30 108)
 ("u3" 65 116)
 ("o13" 77 127)
 ("o2" 60 150)
))
(45
 (
 ("o2" 3 9)
 ("o2" 10 12)
 ("o5" 0 20)
 ("o5" 21 22)
 ("o8" 9 26)
 ("o13" 11 26)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o15" 26 35)
 ("o9" 34 35)
 ("o1" 36 37)
 ("o15" 36 39)
 ("o3" 22 40)
 ("u2" 30 41)
 ("u1" 17 42)
 ("o10" 0 43)
 ("o5" 23 45)
 ("o2" 32 45)
 ("o10" 44 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o13" 47 62)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o14" 47 69)
 ("u2" 63 76)
 ("u3" 75 80)
 ("o13" 73 83)
 ("o8" 57 86)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o6" 58 97)
 ("o10" 47 98)
 ("o10" 99 102)
 ("o2" 81 105)
 ("o7" 57 109)
 ("o9" 44 115)
 ("u1" 43 141)
))
(46
 (
 ("o6" 1 13)
 ("o2" 13 15)
 ("o15" 8 21)
 ("o5" 3 23)
 ("u2" 15 26)
 ("o8" 12 29)
 ("u2" 27 32)
 ("o15" 25 33)
 ("o2" 30 33)
 ("o9" 3 36)
 ("o13" 30 37)
 ("o1" 4 38)
 ("o15" 36 38)
 ("o9" 37 38)
 ("o15" 39 42)
 ("o3" 12 43)
 ("u1" 20 45)
 ("o10" 3 46)
 ("o5" 26 48)
 ("o10" 47 49)
 ("o11" 40 51)
 ("o2" 49 51)
 ("o7" 46 58)
 ("u3" 48 58)
 ("o6" 14 60)
 ("o15" 53 62)
 ("o1" 41 67)
 ("o4" 33 70)
 ("o15" 65 77)
 ("u3" 59 79)
 ("o4" 82 84)
 ("o12" 46 91)
 ("o3" 44 92)
 ("o15" 85 95)
 ("o10" 50 101)
 ("o6" 61 110)
 ("o15" 101 110)
 ("o13" 69 115)
 ("o10" 102 118)
 ("o1" 68 124)
 ("o7" 84 136)
 ("o2" 79 147)
 ("o12" 92 149)
 ("o9" 73 152)
 ("o11" 57 162)
 ("o5" 96 163)
 ("u1" 92 167)
 ("o14" 86 176)
))
(47
 (
 ("o2" 10 12)
 ("u1" 14 16)
 ("o5" 0 20)
 ("o5" 21 22)
 ("o8" 9 26)
 ("u2" 24 29)
 ("u3" 19 30)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o12" 20 42)
 ("o10" 0 43)
 ("o14" 21 45)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o5" 46 54)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o5" 64 66)
 ("o4" 30 67)
 ("u3" 61 69)
 ("o2" 60 70)
 ("o1" 65 79)
 ("o5" 77 85)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o14" 64 91)
 ("o7" 61 96)
 ("o8" 50 97)
 ("o10" 47 98)
 ("o4" 68 98)
 ("o9" 67 102)
 ("o6" 58 106)
 ("u1" 64 110)
 ("u2" 78 112)
 ("o15" 40 116)
 ("o3" 90 127)
 ("o11" 70 141)
))
(48
 (
 ("o2" 1 9)
 ("o2" 10 12)
 ("o5" 0 20)
 ("o5" 21 22)
 ("o8" 9 26)
 ("o13" 16 26)
 ("o7" 7 27)
 ("u2" 24 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o15" 27 35)
 ("o9" 34 35)
 ("o11" 26 36)
 ("o1" 36 37)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o12" 33 42)
 ("o7" 37 42)
 ("o10" 0 43)
 ("u3" 17 44)
 ("o5" 23 45)
 ("o10" 44 46)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o14" 4 50)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("o8" 68 73)
 ("o5" 57 85)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o14" 55 91)
 ("o7" 74 93)
 ("o10" 47 98)
 ("o6" 74 105)
 ("u1" 50 111)
 ("o3" 90 113)
 ("u3" 69 119)
 ("u2" 61 124)
 ("o12" 92 130)
 ("o14" 93 134)
 ("o9" 53 136)
 ("o4" 68 141)
 ("o10" 99 179)
 ("o2" 89 180)
))
(49
 (
 ("o2" 10 12)
 ("o5" 0 20)
 ("o8" 9 26)
 ("o13" 11 26)
 ("u2" 24 29)
 ("o4" 27 29)
 ("o2" 27 30)
 ("o13" 27 34)
 ("o1" 1 35)
 ("o9" 34 35)
 ("o15" 36 39)
 ("u1" 17 42)
 ("o12" 19 42)
 ("o7" 31 42)
 ("o10" 0 43)
 ("u3" 15 44)
 ("o5" 23 45)
 ("o11" 37 48)
 ("o2" 46 48)
 ("o7" 43 55)
 ("u3" 45 55)
 ("o6" 11 57)
 ("o1" 38 64)
 ("o4" 30 67)
 ("u1" 46 69)
 ("u3" 59 85)
 ("o12" 43 88)
 ("o3" 41 89)
 ("o11" 52 89)
 ("o14" 21 92)
 ("o10" 47 98)
 ("o10" 99 102)
 ("o15" 66 103)
 ("o8" 29 104)
 ("o6" 88 121)
 ("u2" 41 124)
 ("o1" 81 139)
 ("o2" 73 153)
 ("o9" 87 163)
 ("o5" 67 166)
))
